who discovered Chicxulub crater