You could have shot these on a much lower ISO to lessen the amount of noise. Your Exif on the first image reads as 1/4000s, f/22, ISO 6400. There's pretty much no need to shoot at 1/4000s @ f/22 in this situation.
f/22 is also not optimum for sharpness, as diffraction starts to occur at ~f/16.
You could have shot this at f/8, 1/500s, ISO 100 and come out with a less noisy, and sharper image with the same exposure. The composition is nice. If you get the opportunity, I'd like to see you retry this.