Email Record: U.S. and Allied Options Early in the Persian Gulf Crisis.