The 100 ton gun, Gibraltar