On the Cost of A Larger Navy