School district's optional mask policy prompts health department to mandate it