Michelle DiTondo led MGM’s human resources department through the Las Vegas Strip shooting on Oct. 1. MGM’s actions included coordinating counselors onto its Strip properties and waiving emergency …