a navy or a squadron of ships of war; or a num-