Original: A federal holiday, it is observed on November 11.
Simplified: It is both a federal and a state holiday.