https://www.dict.cc/english-german/Puerto+Rico+Trench.html