https://www.dict.cc/english-german/Puerto+Rican+boa.html