the biggest waves surfed as Rodrigo Koxa sets new record