https://en.wikipedia.org/wiki/Associahedron
Indeed, K5 is a near-miss Johnson solid: it looks like it might be possible to make from squares and regular pentagons, but it is not. Either the vertices will not quite be coplanar, or the faces will have to be distorted slightly away from regularity.