Mamoudou Gassama, a real-life Spider-Man, saved the day with his superhero-like skills.

Note to Trump — this is how heroes should be treated.