Der Leiter der Sonderermittlungen in der Russland-Affäre um US-Präsident Donald Trump, Robert Mueller, ist Medienberichten zufolge tot. Trump freut sich.