us presidents who had red hair wtf fun facts