Engine: rotary engine