We are very proud of the brave officers from both the Doral and Miami-Dade Police Departments who heroically responded to an active shooter situation at Trump National Doral earlier this morning. Our priority is always the safety of our residents, businesses and visitors, which today was heroically protected thanks to the seamless collaboration between these law enforcement agencies.