---

Navy Aircraft Carriers: Retirement of USS John F. Kennedy Issues and Options for Congress