In captivity, a male lion grows to weight about 420 lbs with a standard deviation of 35 lbs. A zoo would like to have a lion that is in the largest 25% of male lions based on weight. How much should a male lion weigh for the zoo to obtain the male lion?