Veterans’ Day . . . November 11