Butomus umbellatus var. minor