Convert the while loop in the following code to a do-while loop:

1. int counter = 1;
2. while (counter <= 10) {
3. System.out.printf(" %d ", counter);
4. counter++;
5. } // while