Is it obligatory to perform ghusl again for someone who had a wet dream but found no maniy upon waking, and then maniy was discharged after performing ghusl?

If someone experiences a wet dream but sees no trace of semen, then ghusl (ritual bath) is not obligatory, by scholarly consensus, based on the hadith of Umm Salamah that the Prophet, peace and blessings be upon him, said: "Yes, if she sees the water [semen]." If one performs ghusl and then semen is discharged, and it is most probable that it is a result of the wet dream and was retained, then ghusl is obligatory by scholarly consensus, based on the hadith: "Indeed, water [ghusl] is from water [semen]." However, if it is most probable that it is not a result of the previous wet dream, then ghusl is not obligatory unless the semen is discharged with desire and gushing forth, according to the majority of scholars, based on the hadith of Ali, may Allah be pleased with him: "So if you eject the water with force, then perform ghusl."