Robert Mueller, the former FBI director and former prosecutor who led the historic investigation into alleged Russian government interference in the campaign of current US President Donald Trump, has died, a fact celebrated by the current US president.