Correct. Since the distance is proportional to the time, it will take 10 minutes to go around the park once, so it will take $\displaystyle{2}\cdot{10}={20}\usepackage{cmbright}\Huge\$ minutes to go around the park twice.