President Trump picks Gen. John Kelly to be his chief of staff.