Minecraft wiki entry for Defeating_an_End_city, associated text: If you don't have Infinity or lots of arrows, a trident with a high level of Loyalty serves as a great replacement since they do more damage than an unenchanted diamond sword does. Also when playing in Bedrock Edition the trident won't get deleted if it falls into the void.