Tom Jones recorded the theme song for Thunderball