A ladder 20 feet long leans against the side of a house. Find the height from the top of the ladder to the ground if the angle if the angle of elevation of the ladder is 80°