guns and ships leslie odom jr daveed diggs christopher jackson original broadway cast of hamilton lyrics music