polio; (epidemic) poliomyelitis