public holiday in Argentina commemorating General José de San Martín, liberator of Argentina, Chile and Peru