Thanks for the heads up, @PhilM ! I've pressed "cease fire" in both of our matches (just for your information in case you'd like to end the battles (or one)).
Hi Shorker, thanks for the heads up re the ceasefires.
We might as well end one - you'll know which one! - as nothing more will happen, but I would not mind continuing with the other for a few more turns to see what happens.