Of the united States Navy Dollars million USD budget for the purchase of a small aircraft carrier from