Understanding AWS CloudHSM Cluster Synchronization