Process Mining Dashboard in Operating Rooms: History Edit