What is it called when two people are killed by a guillotine at one time?

A doubleheader!!!!!