Robert Pinkos, who previously worked as an investigator in the school district’s Human Resources department, seeks over $30,000 in damages from the school district under the Florida Public Whistle-Blowers Act, according to the lawsuit. He says the school district retaliated against him after he reported school officials for covering up their lack of punishment of the principal, who told a parent via email that he couldn’t say the Holocaust was a historical fact.