Rename p15 -> p16 and p16 -> p17.

These files were misnamed because p15 was accidentally skipped.
Solution for p15.
Solution for p18.
Solution for p19.