GE 35-tonner in Havana

There is a locomotive called a “4wDE” running on the Parque Lenin (Lenin Park) railroad in Havana, Cuba.
It’s claimed to be a GE 35 tonner.
Can anyone provide such items as the real GE model number, s/n, builders number, date built, etc.?