Not heroic, would be heroic if they had killed Trump If you get to meet Trump, not killing him is a wasted opportunity