FARC frees ex-US marine after 4 months in jungle