A polynomial-time iterative algorithm for random graph matching with non-vanishing correlation