President Donald Trump has announced that his chief of staff John Kelly will leave his job by the end of the year. Some reports said that the relationship between the two had deteriorated. But Mr Trump described Mr Kelly as a “great guy”. Also: China threatens Huawei arrest consequences, and NASA probe captures Martian winds.