Myndigheterna i Gibraltar hafvaupphäft