Around 10% of the richest US companies have a female CEO.