An Arlington National Cemetery official was “abruptly pushed aside” during an altercation with former President Donald Trump’s staff during a wreath-laying ceremony but declined to press charges, an Army spokesman said Thursday.

A statement said the cemetery employee was trying to make sure those participating in the wreath-laying ceremony were following the rules.

“This employee acted with professionalism and avoided further disruption,” the statement said. The incident was reported to the police, but the employee decided not to press charges. The Army said it considered the matter closed.