The media reacted a lot differently to Joe Biden's strike on ISIS's leader than Donald Trump's.