Jorge Campos fue uno de los porteros de menor estatura en el mundo.