What happens to a CSRS apportionment (divorce) to an ex-spouse when they die?

Without knowing how the court order reads, here is language from A Handbook for Attorneys on Court Ordered benefits which can be found at the following link: https://www.opm.gov/retirement-services/publications-forms/pamphlets/ri38-116.pdf
§ 838.237 Death of the former spouse.
(a) Unless the court order acceptable for processing expressly provides otherwise, the former spouse’s share of an employee annuity terminates on the last day of the month before the death of the former spouse, and the former spouse’s share of employee annuity reverts to the retiree.