OK, here's the relevant page in the Congressional Record.

Also, I heard from United today by e-mail. They acknowledge the change in law but haven't decided if the holiday applies to tickets purchased or flights taken during that period. The airline trade association is seeking clarification from the government. A very good answer!

Bruce