A school play sold two types of tickets: adult tickets for $8 each and child tickets for $5 each. The total revenue from ticket sales was $300. If 20 adult tickets were sold, how many child tickets were sold?