Recent I have met several times of stop abnormal. Although shutdown.sh provides some information, The situations are:
ps -ef| grep java
is Null.ps -ef| grep java
is not null. My opinion is just kill the process of Catalina and remove the pid file (In your situation is /opt/tomcat/work/catalina.pid.)
The result seems not so seriously to influence others.