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.