Presidents Day and Hamilton’s Broadway Libretto