Gene Cernan has died