The NYPD, reacting to a Virginia shooting that wounded a congressman and four others, has deployed heavily armed police officers in New York City to guard politicians, government buildings and gathering spots where officials meet the public, the department’s top counterterrorism official said Wednesday.

John Miller, the NYPD’s deputy commissioner of intelligence and counterterrorism, told reporters Wednesday at City Hall that the NYPD sent out some of its 525-member counterterrorism squad, called the critical response command “out of an abundance of caution” outside City Hall and Gracie Mansion.

“The intelligence bureau went to work identifying what members from the New York delegation, or other places, of Congress are in New York, were there any public events that they would be attending, did we need to move resources there?” Miller said.

The NYPD’s deployment Wednesday morning came after a gunman opened fire during a Republican congressional baseball team practice session. Five people were injured, including the majority whip of the House of Representatives, Steve Scalise of Louisiana. The gunman later died of his injuries, President Donald Trump said.

Miller declined to give specifics about the deployment so as not to tip off would-be attackers.