city of panama Synonyms