Warden Joseph 

Not to be lazy, but can someone source Warden Joseph's name being Martin. Here's the source:
 http://www.primagames.com/games/batman-arkham-origins/strategy/batman-arkham-origins-walkthrough-find-black-mask
Thanks. -