Since it’s US tax payers money footing the bill, maybe whoever is in charge of spending US tax payers money at the moment? Or maybe whoever is building the vehicle? I’m not sure which is worse.