Correct. Since the distance is proportional to the time, it should take half as long to go half as far. Since it takes 20 minutes to go around the park four times, it will take 10 minutes to go around the park two times.