Antonio planned to read 15 books over the summer for the library's summer reading challenge. At the end of July he has read 4/5 of the books. How many books has he read?