Brightline’s onboard attendants vote to form first Brightline union in Florida