a Texas school district is implementing the mask mandate – CNN