In Belleville, the library is due south of the courthouse and due west of the
community swimming pool. If the distance between the library and the courthouse
is 9 miles and the distance between the courthouse and the city pool is 15 miles,
how far is the library from the community pool?