¿El lunes 10 de noviembre será festivo en Madrid?

Qué dice al respecto el Boletín Oficial del Estado (BOE).