Spanish warship ordered ships to leave British waters near Gibraltar