20140824 world.china: China executes Tiananmen Square attackers