‘Quagmire’ over: Trump hails US exit from Iraq after 12-year ISIS mission