Arcadia Lake safety concerns addressed by Edmond mayor after mass shooting incident.