U.S. Marines Enter Syria to Aid Fight for ISIS’ Capital Raqqa