Artículo 1☆Declárase feriado laborable para el departamento de Florida, el día 3 de junio de cada año, con motivo de celebrarse la fiesta de San Cono.