65% of the workers at Costco have a pet dog. If there are about 162 workers who have a dog, how many Costco employees are there in total? Write a proportion for this situation and solve.