Garfinny Lough, County Cavan