Disney created an amazing John Carter animation — in 1957