¿Por qué el 13 de mayo es festivo en Colombia?: qué se celebra y origen - AS Colombia

¿Por qué el 13 de mayo es festivo en Colombia?: qué se celebra y origen  AS Colombia