A rectangular park is 9 miles long and 3 miles wide. How long is a pedestrian route that runs diagonally across the​ park?