Myndigheterna i Gibraltar hafvaupp