7.5-magnitude quake prompts tsunami warning