Permutations and Pairs of Dyck Paths