Update on the platys:
The female died too, leaving only the smaller female of the original three platys.
I added two new platys, one male and one female. Four days ago, I found a baby platy in the tank, so things seem to be going quite well now.
Also, I had an otto catfish die, and he buried...