remove Tampa search-pool monitoring

search-pool[1-3] are down because the search servers
in it have already been shut down in RT #5883

we would get pages for them if notifications weren't
disabled. so let's remove them since we won't bring
this back up

search-pool[4-5] will soon follow, so they don't need
to be monitored and it avoids unnecessary paging
on shutdown

Change-Id: I3d82e24e58fe407526ede1f6899641323b91429a