(Sara Krulwich/The New York Times) less FILE -- Daveed Diggs, center, as Thomas Jefferson, with Okieriete Onaodowan, left, and Leslie Odom Jr. in "Hamilton," at the Richard Rodgers Theatre in New York, July 11, 2015.