I say, and with God's success: He must perform a second ghusl (ritual washing); because the discharge of semen necessitates ghusl, as long as it separates from its place and its resting place — which is the loins in men, and the bones of the chest in women — due to desire, and the time of its exit is not considered. Refer to: رد المحتار 1: 108, والوقاية ص94, والسعاية 1: 310, والهداية 1: 17, والاختيار 1: 20, والكنْز ص4, والملتقى ص4, ومختصر القدوري ص3, and God knows best.