which president has the highest iq in history