Gibraltar in military exercise in Morocco