In the obscure Broadway musical "Hamilton: An American Life" there is a tune, One Last Time, in which George Washington…