Damaged soil vs degraded soil: a brief note on the Government Regulation of Indonesia No. 4/2001. Issue 1 (May 2020)