WW,
At least there is no mention of selling one of the carriers, merely that it will be "kept at extended readiness".
Wrong... sorry
http://download.cabinetoffice.gov.uk...ier-strike.pdf
Our carrier strike capability will be based around a single operational carrier, with a second planned to be kept at extended readiness. This leaves open options to rotate them, to ensure a continuous UK carrier strike capability; or to regenerate more quickly a two carrier strike capability. Alternatively, we might sell one of the carriers, relying on cooperation with a close ally to provide continuous carrier strike capability.