An aquarium specimen of Isoetes kirkii