Tornado an der Algarve: Ein Todesopfer, Verletzte und große Schäden