With all the demands on the US Navy it does not seem to make sense to reduce the size of the carrier force. Will this mean longer deployments for the remaining 11 carriers? I realize that the JFK is older and not nuke powered, but its aircraft were nevertheless a formidable force. The JFK reconditioning and repair cost of $335 million pales in comparison to the $4 billion dollar cost of a new nuke carrier. I hope these guys are not just seeking to save cash by mothballing the JFK.