If 85% of the population of an ant colony is red, and of these 45% are females, then what % of the total ant population are male red ants?