a group of navy ships sailing in the ocean