The collapsed Florida condo was part of a 2015 lawsuit where