"no public key" warning on upgrade to stretch

[Charles E. Blair]

   When I type "apt-get upgrade" I get
this message, and things stop:

W: There is no public key available for the following key IDs:
EF0F382A1A7B6500

   I hope there is a simple fix.