This is sad only because these are almost certainly White men. But they would also probably attack us if ordered to so...
@Xenophon I suggest you look up July 28, 1932, when the U.S. government attacked World War I veterans (who were protesting unpaid wages during the Great Depression) with tanks, bayonets, and tear gas.
These were active duty soldiers attacking their own veterans.
But they still might not murder random countrymen.