Ireland’s swimming community is in mourning after a Corkman died while crossing the English Channel, one week after Steve Redmond’s Oceans Seven world-record feat.