The provenance of the Devonian Old Red Sandstone of the Dingle Peninsula, SW Ireland; the earliest record of Laurentian and peri-Gondwanan sediment mixing in Ireland