[Wintermute]

push. the pot should be big enough that this bet will put them all all-in. and you almost definitely have more equity in the pot than is required given the odds you will create.

Also, your flop action is right.