Types of Ampullariidae (Mollusca: gastropoda) in the National Museum of Natural History, Smithsonian Institution with lectotype designations - Cowie, Robert H. (Smithsonian contributions to zoology,, 2015)