An alien insurer is an insurer formed under the laws of a country other than the United States.