Biden to make international travelers quarantine. How will Miami’s tourism industry cope?