Gulf World Marine Park is one of 30 parks internationally owned by The Dolphin Company and its subsidiaries, resulting in a drawn out legal battle in a Delaware Bankruptcy Court. "As you noted ...