Maven repo contains tomcat-8.5.20.redhat-5.zip. It is a tomcat in unsupported configuration (without extension e.g. mod_cluster).

Path: jboss-web-server-4.0.0.CR1-maven-repository/maven-repository/org/apache/tomcat/tomcat/8.5.20.redhat-5