Size of the us navy during the war of 1812