Trianthema portulacastrum L., Sp. Pl. 1753