The idea of building a tunnel under the Irish Sea has been raised since 1895, when it was first investigated. Either of the tunnels, would be the shortest in the world and are estimated to cost how much?