Was Trump’s security actually increased before the shooting?