What’s next in court battle over St. Louis County mask mandate?