A Spanish naval vessel has been ordered to leave British territorial waters off Gibraltar at a time of heightened tension between London and Madrid over the Rock due to Brexit.