Jerdonia: nombre genérico que fue otorgado en honor del comandante médico Thomas C.