Redpanda acquires Benthos to expand its end-to-end streaming data platform