eric gauchat climbed what mountain for the first time?
(AND geography.mountain (JOIN geography.mountain.first_ascenders m.0k3mbpv))