Title: What became of the Mamelukes?