7.2 magnitude earthquake shakes Haiti, prompts tsunami warning