i have setup 3 node mariadb galera cluster. i can connect to database using DBArtisan and provide all 3 nodes as host, so, when one host goes down, DBARtisan still continue to stay connected to database using other live nodes. i like to provide same or similar connect string when connecting from MySQL Workbench, however i am not aware of how to put all server names as hostname when connecting from MySQL Workbecnh. Can someone help, how we can connect to nodes of Galera so, that, when one node is down mysql work bench can connect to other nodes. i need to show a demo to management how mariadb can continue to stay connected to other nodes when any node is crashed.