This page duplicates the case published at
Pettus v. Navy (Fed. Cir. 2023)
, decided July 13, 2023.