The Iranian government has lodged a formal protest with the US authorities after soldiers from a US warship forcibly boarded an Iranian tanker in the Arabian Gulf today, injuring one crew member.