Devises: 

Panama Jack