a fleet of naval ships in the ocean