Lin-Manuel Miranda to leave 'Hamilton' on July 9

"Hamilton" creator and star Lin-Manuel Miranda to leave Broadway smash show on July 9