SUCCESS! The power adapter I bought for my son’s Raspberry Pi wasn’t providing enough juice for the USB port. New power supply and it works.