Man bitten by shark off the Irish coast