dwarf pufferfish (Carinotetraodon travancoricus); Malabar pufferfish; pea pufferfish; pygmy pufferfish