What Trump and Iran have said about Ayatollah Ali Khamenei's funeral