Syria war: US to arm Kurds in battle for Raqqa