As the war enters its 993rd day, these are the main developments.

President-elect Donald Trump has named Sen. Marco Rubio as his choice for secretary of state. Rubio, 53, was born in Miami and still calls the city his home. He is the son of Cuban immigrants. He was ...