I didn't say I know the water shouldn't be teal. It would actually be nice to see some original 35mm shots to compare with.
I just know that back in 1981 they didn't do the orange/teal shift on movies. (Though in this one it's more like yellow/teal)
Also if you zoom in on some shots there's highly saturated color noise, which looks exactly like the color noise in Kingdom of the crystal skull. It's almost as if they wanted to match that look.