They are photoshopped.
I know a landscape photographer and sometimes he goes out on a good cloud day and only makes cloud photos to be used as backdrop.
I asked him why and he said 'I can't wait a whole day for the right cloud formation, so I have a collection of cloud formations to be used as required'.