as Duke - Henchman
as (uncredited)
as Joe Nolan
as Henchman Hank Horton
as Henchman
as Henchman Ward
as William Rand
as Henchman Jim Miller
as Lt. Cdr. Grady
