If you want to maximize conditions for Mahle then Gennett and Winker should both sit or DH. There’s a trade off when Hamilton sits, but today the choice was more offense.
Besides, if you look at Mahle’s numbers, the major problem is HRs allowed. If he keeps the ball in the stadium he should be all right.