Explosion-hit Israeli cargo ship anchors in Dubai port for repairs