Bogotá, Colombia. Parque de los Mártires