US Navy USS John F Kennedy British Navy HMS Prince of Wales aircraft carrier christened in December