Commercial shipping likely cut Red Sea cables that disrupted internet access