https://www.tommiemedia.com/us-official-florida-high-school-shooter-identified/
US official: Florida high school shooter identified