Holland isn't in a bad situation anymore goalie wise either. Mrazek has one season left at $4 million, and Howard two at $5.2 million.
The ideal situation would be that Mrazek rebounds and signs a long term extension. Even if he doesn't rebound fully, but plays respectable, he's still an RFA, so Holland has negotiating room at arbitration (if it goes that far) for a one season deal for cheaper if he doesn't want to give up on him yet. If Howard stays healthy and plays like he did last year in the minimal games he did play, then Holland should be able to trade him. If he can't, and Mrazek has played well enough, and he is comfortable having him be the starter full time going forward, then Holland can buy out the last year of his deal for $2.5 million in 2018/19, and $1.5 million in 2019/20.
Then promote a backup from within (Coreau/Matej), or sign a journeyman NHL backup. Both would be cheap options. With Mrazek's extension, Howard's buyout, and a cheap backup, should be less than $10 million for a season, then down to $7 million (maybe less) or so a season after that.