Kennedy (JFK)", aunque en la práctica nunca se utilizó este nombre de manera pública.