Pilots' view of a thunderstorm over the Atlantic Ocean