hippopotamus: What is a pygmy hippopotamus? Virginia zoo gets mammal ...