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