Indian River County approves settlement with Brightline; lawsuit dropped