At least 4 NATO allies quietly aid US strikes on Iran