In Lanberry, 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 7 miles and the distance between the courthouse and the city pool is 10 miles, how far is the library from the community pool? If necessary, round to the nearest tenth.