BLUEGREEN VACATIONS HOLDING CORP (BBX Capital Corp prior to 10/2020)