Largest wave surfed: world record set by Rodrigo Koxa