Gibraltar authorities seize half a tonne of cocaine hidden in ships