France announces it will send 4,000 troops to the Persian Gulf.