John J. Robinson — American author and historian