The Astronomy of the Mamluks: A Brief Overview