The complicated history of popes and U.S. presidents