How do you know if a mouse has hantavirus?