A Royal Navy warship used a routine logistical visit to Gibraltar on Wednesday to patrol British waters around the Rock. The highly unusual move came a day after an incursion by a Spanish Navy vessel and against the background of diplomatic tension between the UK and Spain over the waters row.