This was silenty diverted to a general fund by congress a decade ago. Should travelers get a refund?
If we are going to start refunding all of these instances, the government won't have much left.
I've never heard of the government refunding anything based on an alleged mistake.
Then you add on the fact that this government never had the legal right to make the “mistake” in the first place.