First observation of B + → Ds+ K + K − decays and a search for B + → Ds+ ϕ decays