Size of a naval armada