Original: Day as a holiday in its own right .
Simplified: Day is a US Federal Holiday .