debkafile: Gulf rulers voice concern to Bush about Strait of Hormuz security after last Sunday’s Iranian-US naval encounter