United States approves $11.25 billion warship deal for Saudis