Jornal Do Brasilia - 7.7-magnitude quake rocks Panama, triggers tsunami warning