Juan Antonio Lavalleja, teniente coronel