The US Navy leaves the Mediterranean