a fleet of ships especially warships