Charged black lens in de Sitter space

We obtain a charged black lens solution in the five-dimensional Einstein-Maxwell-Chern-Simons theory with a positive cosmological constant. It is shown that the solution obtained here describes the formation of a black hole with the spatial cross section of a sphere from that of the lens space of L (n, 1) in fivedimensional de Sitter space.