Navy warship's final deployment

Portsmouth-based destroyer HMS Edinburgh has left the city this morning on her final planned deployment.