Using species distribution models to gauge the completeness of the bat checklist of Eswatini