The Jersey Devil and the Ballad of the Battle of Trenton