Were extreme waves in the Rockall Trough the largest ever recorded?