20180721 entertainment.english.hollywood: Lin-Manuel Miranda to make directorial debut