Original: Both a federal holiday and a state holiday in all states , it is usually observed on November 11 .
Simplified: It is both a federal and a state holiday .