What wide-angle lens does Canon 5D3 match? You can shoot the starry sky. thank you

In fact, the most suitable lens for shooting the starry sky should be a super wide-angle lens like a fisheye lens. The focal length of the lens ranges from 14mm to 35 mm The wider the focal length of the lens, the more sky you can photograph, and the more imposing the photos you can take. Therefore, considering comprehensively, I think Canon EF 15mm f/2.8 should be a good choice, which should meet the landlord's requirements for Canon 5D3 to shoot the starry sky.