Designation of a Recipient of the Federal Employees' Compensation Act Death Gratuity Payment under 5 U.S.C. § 8102a