Sony starry camera lens recommended mobile phone

The budget is a little small. Shoot the Milky Way starry sky, preferably Quan Huafu, with a large aperture and super wide angle.

Recommendation 1: Sony a7m3, lens old frog 12-2.8, total budget 17500 or so;

Recommendation 2: Canon EOS-RP, lens EF 16-35f4, adapter ring, totaling about 1.5 million.