[1788] Die Kriegsflotte, plur. die -n, eine Flotte von Kriegsschiffen; zum Unterschiede von einer Handelsflotte.
Meyers-1905: Kriegsflotte
Pierer-1857: Kriegsflotte