Daveed Diggs, Okieriete Onaodowan, Anthony Ramos, and Lin-Manuel Miranda in “Hamilton”