how much did the new aircraft carrier cost