three ships that sunk in the gulf of mexico