I worked with the Secret Service in the Clinton White House. It's unimaginable that agents with VP Pence would not have informed their counterparts at the WH in real time that VP was in danger. They, in turn, would have informed the President. Trump almost certainly knew.