Originally posted by VoiceOfReason Toss your DFA24-70 on it and see what you get.
Listen to the Voice of Reason
Seriously, use what you already have. See where it fails to know what to buy next. Yes, that lens is "only" f2.8 but the K-1 holds up well at ISO 3200, even 6400 if you shoot DNG.
Then, if you like the 24mm view (it's the same as your 16mm APS-C Canon), consider the Samyang/Rokinon 24/1.4 lens to gain 2 stops of light gathering.
Or, if you want to try wider than 24mm, I can vouch for the Samyang/Rokinon 14/2.8 and the Pentax 15-30. The Samyang is small and inexpensive, the Pentax gives the versatility of zoom without sacrificing image quality.
You have an astrotracer in the K-1 and don't be afraid to try longer focal lengths. Here's an astrotracer sample at 100mm (with the DFA 100 macro lens, but the 70-200 should be able to get similar results):