El IES Antonio Machado recibe la insignia de oro de Mar del Sur