Off-duty Edgewater police officer shot and killed at Circle K in Ormond-by-the-Sea

The shooter was identified as 24-year-old Eduardo Machado, a gas station employee who used a recently purchased handgun. Family members say he had a mental health disorder.