A person can make 20 badges in one hour using a machine. How long would it take 10 people with machines to make 300 badges​?