María Teresa Infante es elegida jueza del Tribunal Internacional del Derecho del Mar