US weighs Gulf military cuts after $37.5bn Iran war costs