General Osorio hade , den 5 Juni,